{"componentChunkName":"component---node-modules-rocketseat-gatsby-theme-docs-core-src-templates-docs-query-js","path":"/manual-review/GaussianPosition-GPN","result":{"data":{"mdx":{"id":"76fa7215-5250-5523-b770-4671239ce30a","excerpt":"GPN-01M: Inconsistent Rounding of Constants Type Severity Location Mathematical Operations GaussianPosition.sol:L20 , L21 Description: The e constant is…","fields":{"slug":"/manual-review/GaussianPosition-GPN/"},"frontmatter":{"title":"GaussianPosition Manual Review Findings","description":"Contains all the findings that relate to manual review on the contract codebase","image":null,"disableTableOfContents":null},"body":"var _excluded = [\"components\"];\n\nfunction _extends() { _extends = Object.assign || function (target) { for (var i = 1; i < arguments.length; i++) { var source = arguments[i]; for (var key in source) { if (Object.prototype.hasOwnProperty.call(source, key)) { target[key] = source[key]; } } } return target; }; return _extends.apply(this, arguments); }\n\nfunction _objectWithoutProperties(source, excluded) { if (source == null) return {}; var target = _objectWithoutPropertiesLoose(source, excluded); var key, i; if (Object.getOwnPropertySymbols) { var sourceSymbolKeys = Object.getOwnPropertySymbols(source); for (i = 0; i < sourceSymbolKeys.length; i++) { key = sourceSymbolKeys[i]; if (excluded.indexOf(key) >= 0) continue; if (!Object.prototype.propertyIsEnumerable.call(source, key)) continue; target[key] = source[key]; } } return target; }\n\nfunction _objectWithoutPropertiesLoose(source, excluded) { if (source == null) return {}; var target = {}; var sourceKeys = Object.keys(source); var key, i; for (i = 0; i < sourceKeys.length; i++) { key = sourceKeys[i]; if (excluded.indexOf(key) >= 0) continue; target[key] = source[key]; } return target; }\n\n/* @jsxRuntime classic */\n\n/* @jsx mdx */\nvar _frontmatter = {\n \"title\": \"GaussianPosition Manual Review Findings\",\n \"description\": \"Contains all the findings that relate to manual review on the contract codebase\"\n};\nvar layoutProps = {\n _frontmatter: _frontmatter\n};\nvar MDXLayout = \"wrapper\";\nreturn function MDXContent(_ref) {\n var components = _ref.components,\n props = _objectWithoutProperties(_ref, _excluded);\n\n return mdx(MDXLayout, _extends({}, layoutProps, props, {\n components: components,\n mdxType: \"MDXLayout\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-01mgpn-01m-inconsistent-rounding-of-constantsspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-01mgpn-01m-inconsistent-rounding-of-constantsspan\",\n \"aria-label\": \"span idgpn 01mgpn 01m inconsistent rounding of constantsspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-01M\"\n }, \"GPN-01M: Inconsistent Rounding of Constants\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-informational\",\n \"src\": \"https://omniscia.io/report-assets/informational.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L20\"\n }, \"GaussianPosition.sol:L20\"), \", \", mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L21\"\n }, \"L21\"))))), mdx(\"h3\", {\n \"id\": \"description\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description\",\n \"aria-label\": \"description permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"e\"), \" constant is rounded upwards in relation to its last decimal place (i.e. \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"2.71...757\"), \" rounded to \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"2.71...76\"), \") whereas the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C0\"), \" constant is rounded downward (i.e. \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"3.14...197\"), \" rounded to \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"3.14...19\"), \").\"), mdx(\"h3\", {\n \"id\": \"example\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example\",\n \"aria-label\": \"example permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={1,2} lineNumbers=true lineOffset=19\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{1,2}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"19\"\n }, \"uint256 constant E = 271828182845904523536028747135266249776; // e * 1e20\\nuint256 constant PI = 314159265358979323846264338327950288419; // pi * 1e20\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation\",\n \"aria-label\": \"recommendation permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise rounding to remain consistent in the code as it may result in exacerbated errors in the tail end of the number ranges.\"), mdx(\"h3\", {\n \"id\": \"alleviation\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation\",\n \"aria-label\": \"alleviation permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"E\"), \" constant has been removed from the codebase rendering this exhibit inapplicable.\"), mdx(\"h2\", {\n \"id\": \"span-idgpn-02mgpn-02m-incorrect-denominator-precisionspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-02mgpn-02m-incorrect-denominator-precisionspan\",\n \"aria-label\": \"span idgpn 02mgpn 02m incorrect denominator precisionspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-02M\"\n }, \"GPN-02M: Incorrect Denominator Precision\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-minor\",\n \"src\": \"https://omniscia.io/report-assets/minor.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L45\"\n }, \"GaussianPosition.sol:L45\"))))), mdx(\"h3\", {\n \"id\": \"description-1\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-1\",\n \"aria-label\": \"description 1 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The denominator of the \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L34-L47\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculateGaussianPDF\")), \" function has an accuracy of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e9\"), \" even though its numerator has an accuracy of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e18\"), \".\"), mdx(\"p\", null, \"In detail, the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"Math.sqrt((2 * PI) / 1e20)\"), \" calculation will result in a \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e9\"), \" accuracy fraction which will not properly normalize the input value.\"), mdx(\"h3\", {\n \"id\": \"impact\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact\",\n \"aria-label\": \"impact permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"The \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L34-L47\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculateGaussianPDF\")), \" will operate close to arithmetic boundaries and may fail due to overflows for otherwise valid values.\"), mdx(\"h3\", {\n \"id\": \"example-1\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-1\",\n \"aria-label\": \"example 1 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={6,13,14} lineNumbers=true lineOffset=32\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{6,13,14}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"32\"\n }, \"// Calculate Gaussian PDF with fixed-point arithmetic\\nfunction calculateGaussianPDF(int256 x, uint256 _sigma) public pure returns (uint256) {\\n // Calculate exponent: -(x^2)/(2*sigma^2)\\n uint256 xSquared = uint256(x * x);\\n uint256 sigmaPow2 = _sigma * _sigma; // 1e2 is the precision so for both sigam 1e4\\n uint256 exponent = (xSquared * PRECISION) / (2 * sigmaPow2 / 1e4);\\n\\n // Calculate e^(-exponent)\\n uint256 expValue = exponential(exponent);\\n uint256 invertwedExpValue = 1e36 / expValue;\\n\\n // Calculate denominator: sigma * sqrt(2\\u03C0)\\n uint256 denominator = _sigma / 1e2 * sqrt((2 * PI) / 1e20);\\n return (invertwedExpValue) / denominator;\\n}\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-1\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-1\",\n \"aria-label\": \"recommendation 1 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the input to the square root function to be set to \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"2 * PI\"), \" and the result to be divided by \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"10\"), \", ensuring that the final \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"(invertwedExpValue) / denominator\"), \" calculation eliminates the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e18\"), \" padding added to the base \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"x\"), \" input value's denomination.\"), mdx(\"h3\", {\n \"id\": \"alleviation-1\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-1\",\n \"aria-label\": \"alleviation 1 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The Steer Protocol team evaluated this exhibit and stated that they do not anticipate any issues in the precisions of the denominator as the scaling values across the system are handled correctly.\"), mdx(\"p\", null, \"Given that the Steer Protocol team does not anticipate to configure the contract in such a way where mathematical errors would manifest due to the outlined methodology, we consider this exhibit safely acknowledged.\"), mdx(\"h2\", {\n \"id\": \"span-idgpn-03mgpn-03m-non-standard-addition-of-extra-tick-range-in-even-positionsspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-03mgpn-03m-non-standard-addition-of-extra-tick-range-in-even-positionsspan\",\n \"aria-label\": \"span idgpn 03mgpn 03m non standard addition of extra tick range in even positionsspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-03M\"\n }, \"GPN-03M: Non-Standard Addition of Extra Tick Range in Even Positions\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-minor\",\n \"src\": \"https://omniscia.io/report-assets/minor.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L97\"\n }, \"GaussianPosition.sol:L97\"))))), mdx(\"h3\", {\n \"id\": \"description-2\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-2\",\n \"aria-label\": \"description 2 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L68-L170\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculatePosition\")), \" function will add an extra tick range anticipating an upward price movement when an even number of positions is requested.\"), mdx(\"h3\", {\n \"id\": \"impact-1\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-1\",\n \"aria-label\": \"impact 1 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"The system will inefficiently deploy liquidity when an AMM pair's price moves downward and the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"GaussianPosition\"), \" has been configured in an even-position distribution.\"), mdx(\"h3\", {\n \"id\": \"example-2\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-2\",\n \"aria-label\": \"example 2 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={1,3,4} lineNumbers=true lineOffset=94\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{1,3,4}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"94\"\n }, \"if (_numPositions % 2 == 0) {\\n // Even number of positions\\n startOffset = -int24(_numPositions / 2 - 1);\\n endOffset = int24(_numPositions / 2);\\n} else {\\n // Odd number of positions\\n startOffset = -int24(_numPositions / 2);\\n endOffset = int24(_numPositions / 2);\\n}\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-2\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-2\",\n \"aria-label\": \"recommendation 2 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the code to instead branch its logic to add an additional position either to the end or the start of the overall ranges covered by evaluating whether the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"currentTick\"), \" is closer to the next tick space or the previous one.\"), mdx(\"h3\", {\n \"id\": \"alleviation-2\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-2\",\n \"aria-label\": \"alleviation 2 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The code was updated per our recommendation, optimizing the in-range liquidity deployment of the system.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-04mgpn-04m-denominator-precision-loss-of-sigma-in-square-root-calculationspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-04mgpn-04m-denominator-precision-loss-of-sigma-in-square-root-calculationspan\",\n \"aria-label\": \"span idgpn 04mgpn 04m denominator precision loss of sigma in square root calculationspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-04M\"\n }, \"GPN-04M: Denominator Precision Loss of Sigma in Square Root Calculation\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-medium\",\n \"src\": \"https://omniscia.io/report-assets/medium.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L45\"\n }, \"GaussianPosition.sol:L45\"))))), mdx(\"h3\", {\n \"id\": \"description-3\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-3\",\n \"aria-label\": \"description 3 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L34-L47\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculateGaussianPDF\")), \" function will incorrectly round the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" value downward prior to multiplying it with the square root of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C0\"), \" times \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"2\"), \" in contradiction with the Gaussian PDF formulae.\"), mdx(\"h3\", {\n \"id\": \"impact-2\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-2\",\n \"aria-label\": \"impact 2 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"A configuration of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" at a value less-than \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e2\"), \" is permitted even though it would lead to consistent division-by-zero errors in the \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L34-L47\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculateGaussianPDF\")), \" function.\"), mdx(\"h3\", {\n \"id\": \"example-3\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-3\",\n \"aria-label\": \"example 3 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={3,20} lineNumbers=true lineOffset=25\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{3,20}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"25\"\n }, \"constructor(uint24 _numPositions, uint256 _sigma) {\\n require(_numPositions > 0, \\\"POS\\\");\\n require(_sigma > 0, \\\"SIG\\\");\\n numPositions = _numPositions;\\n sigma = _sigma;\\n}\\n\\n// Calculate Gaussian PDF with fixed-point arithmetic\\nfunction calculateGaussianPDF(int256 x, uint256 _sigma) public pure returns (uint256) {\\n // Calculate exponent: -(x^2)/(2*sigma^2)\\n uint256 xSquared = uint256(x * x);\\n uint256 sigmaPow2 = _sigma * _sigma; // 1e2 is the precision so for both sigam 1e4\\n uint256 exponent = (xSquared * PRECISION) / (2 * sigmaPow2 / 1e4);\\n\\n // Calculate e^(-exponent)\\n uint256 expValue = exponential(exponent);\\n uint256 invertwedExpValue = 1e36 / expValue;\\n\\n // Calculate denominator: sigma * sqrt(2\\u03C0)\\n uint256 denominator = _sigma / 1e2 * sqrt((2 * PI) / 1e20);\\n return (invertwedExpValue) / denominator;\\n}\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-3\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-3\",\n \"aria-label\": \"recommendation 3 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the code to multiply and then divide, ensuring all potential \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" values are permitted.\"), mdx(\"h3\", {\n \"id\": \"alleviation-3\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-3\",\n \"aria-label\": \"alleviation 3 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The order of operations in the referenced statement were re-ordered per our recommendation, maximizing the potential accuracy of the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" value.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-05mgpn-05m-inexistent-assignment-of-relative-weightspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-05mgpn-05m-inexistent-assignment-of-relative-weightspan\",\n \"aria-label\": \"span idgpn 05mgpn 05m inexistent assignment of relative weightspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-05M\"\n }, \"GPN-05M: Inexistent Assignment of Relative Weight\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#logical-fault\"\n }, \"Logical Fault\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-medium\",\n \"src\": \"https://omniscia.io/report-assets/medium.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L119\"\n }, \"GaussianPosition.sol:L119\"))))), mdx(\"h3\", {\n \"id\": \"description-4\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-4\",\n \"aria-label\": \"description 4 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"relativeWeight\"), \" value of a \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"positions\"), \" entry is never assigned to a non-zero value, resulting in misbehaviours within the \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/libraries/PluginHelper.sol#L38-L111\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"PluginHelper::calcTokenAmounts\")), \" function.\"), mdx(\"h3\", {\n \"id\": \"impact-3\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-3\",\n \"aria-label\": \"impact 3 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"The absence of correct \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"relativeWeight\"), \" configurations is considered an error in the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"PluginHelper\"), \" that can result in transaction reverts.\"), mdx(\"h3\", {\n \"id\": \"example-4\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-4\",\n \"aria-label\": \"example 4 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={15,17,30} lineNumbers=true lineOffset=104\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{15,17,30}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"104\"\n }, \"uint24 posIndex = 0;\\n// Calculate weights and positions\\nfor (int24 i = startOffset; i <= endOffset; i++) {\\n // Calculate Gaussian weight\\n uint256 weight = calculateGaussianPDF(i, _sigma);\\n totalWeight += weight;\\n // Calculate lower and upper ticks\\n int24 lowerTick = centerTick + i * tickSpacing;\\n int24 upperTick = lowerTick + tickSpacing;\\n\\n // Store position\\n positions[posIndex] = LiquidityPositions({\\n lowerTick: lowerTick,\\n upperTick: upperTick,\\n relativeWeight: 0 // will be added in the next loop\\n });\\n weights[posIndex] = weight;\\n posIndex++;\\n}\\n\\nuint256[] memory positionT0Requested;\\nuint256[] memory positionT1Requested;\\nuint256 totalT0Requested;\\nuint256 totalT1Requested;\\npositionT0Requested = new uint256[](_numPositions);\\npositionT1Requested = new uint256[](_numPositions);\\n// Step 2: Calculate liquidity and normalize weights\\nfor (uint256 i = 0; i < uint24(_numPositions); i++) {\\n // Normalize the weight by dividing by totalWeight\\n uint256 normalizedWeight = weights[i] * 1e4 / totalWeight;\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-4\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-4\",\n \"aria-label\": \"recommendation 4 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"relativeWeight\"), \" to be assigned to the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"weight\"), \" calculated and the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"weights\"), \" data entry as well as \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"posIndex\"), \" variable to be omitted entirely.\"), mdx(\"p\", null, \"In the ensuing loop, the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"relativeWeight\"), \" should be re-assigned as \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"positions[i].relativeWeight * 1e4 / totalWeight\"), \" and utilized for the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"normalizedWeight\"), \" calculation, optimizing the code's gas cost and addressing the issue outlined.\"), mdx(\"h3\", {\n \"id\": \"alleviation-4\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-4\",\n \"aria-label\": \"alleviation 4 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The code was updated to calculate the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"relativeWeight\"), \" correctly whilst retaining the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"weights\"), \" data entries in place due to their increased precision.\"), mdx(\"p\", null, \"As the increased precision is beneficial to the system and the original issue has been addressed, we consider this exhibit properly alleviated.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-06mgpn-06m-inexistent-boundaries-of-ticksspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-06mgpn-06m-inexistent-boundaries-of-ticksspan\",\n \"aria-label\": \"span idgpn 06mgpn 06m inexistent boundaries of ticksspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-06M\"\n }, \"GPN-06M: Inexistent Boundaries of Ticks\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#logical-fault\"\n }, \"Logical Fault\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-medium\",\n \"src\": \"https://omniscia.io/report-assets/medium.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L112\"\n }, \"GaussianPosition.sol:L112\"), \", \", mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L113\"\n }, \"L113\"))))), mdx(\"h3\", {\n \"id\": \"description-5\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-5\",\n \"aria-label\": \"description 5 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"lowerTick\"), \" and \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"upperTick\"), \" calculations in the \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L68-L170\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculatePosition\")), \" function will not cap the tick values to the maximum and minimum permitted values in a particular pair, resulting in the calculation of unfulfillable positions and thus transaction reverts.\"), mdx(\"h3\", {\n \"id\": \"impact-4\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-4\",\n \"aria-label\": \"impact 4 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"The \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"GaussianPosition\"), \" contract will be unusable close to the tick boundaries of a particular AMM.\"), mdx(\"h3\", {\n \"id\": \"example-5\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-5\",\n \"aria-label\": \"example 5 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={13,14,17,18,28,29} lineNumbers=true lineOffset=84\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{13,14,17,18,28,29}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"84\"\n }, \"// Initialize positions array\\npositions = new LiquidityPositions[]((_numPositions));\\nliquidity = new uint128[]((_numPositions));\\nuint256[] memory weights = new uint256[]((_numPositions));\\nuint256 totalWeight;\\nint24 centerTick = (currentTick / tickSpacing) * tickSpacing;\\n// Calculate start and end indices\\nint24 startOffset;\\nint24 endOffset;\\n\\nif (_numPositions % 2 == 0) {\\n // Even number of positions\\n startOffset = -int24(_numPositions / 2 - 1);\\n endOffset = int24(_numPositions / 2);\\n} else {\\n // Odd number of positions\\n startOffset = -int24(_numPositions / 2);\\n endOffset = int24(_numPositions / 2);\\n}\\n\\nuint24 posIndex = 0;\\n// Calculate weights and positions\\nfor (int24 i = startOffset; i <= endOffset; i++) {\\n // Calculate Gaussian weight\\n uint256 weight = calculateGaussianPDF(i, _sigma);\\n totalWeight += weight;\\n // Calculate lower and upper ticks\\n int24 lowerTick = centerTick + i * tickSpacing;\\n int24 upperTick = lowerTick + tickSpacing;\\n\\n // Store position\\n positions[posIndex] = LiquidityPositions({\\n lowerTick: lowerTick,\\n upperTick: upperTick,\\n relativeWeight: 0 // will be added in the next loop\\n });\\n weights[posIndex] = weight;\\n posIndex++;\\n}\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-5\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-5\",\n \"aria-label\": \"recommendation 5 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the loop to halt early, creating fewer positions than desired if any of the calculated positions would flow out of bounds.\"), mdx(\"h3\", {\n \"id\": \"alleviation-5\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-5\",\n \"aria-label\": \"alleviation 5 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The code was updated to skip a particular position if it exceeds sane bounds, alleviating this exhibit.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-07mgpn-07m-loss-of-denominator-precision-in-exponentspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-07mgpn-07m-loss-of-denominator-precision-in-exponentspan\",\n \"aria-label\": \"span idgpn 07mgpn 07m loss of denominator precision in exponentspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-07M\"\n }, \"GPN-07M: Loss of Denominator Precision in Exponent\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-medium\",\n \"src\": \"https://omniscia.io/report-assets/medium.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L38\"\n }, \"GaussianPosition.sol:L38\"))))), mdx(\"h3\", {\n \"id\": \"description-6\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-6\",\n \"aria-label\": \"description 6 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L34-L47\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculateGaussianPDF\")), \" function is meant to calculate the Gaussian probability density function with a mean configuration of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"0\"), \":\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-math\"\n }, \"f(x) = \\\\frac{e^{-\\\\frac{x^2}{2\\\\sigma^2}}}{\\\\sqrt{2\\\\pi\\\\sigma^2}}\\n\")), mdx(\"p\", null, \"In the current implementation, an error exists in the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" calculation and specifically its low precision and early normalization. The denominator is calculated as \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"2 * \\u03C3 * \\u03C3 / 1e4\"), \" where \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" is a \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e4\"), \" accuracy fractional number.\"), mdx(\"p\", null, \"The normalization by \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e4\"), \" will result in the calculation rounding to \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"0\"), \" or a significantly lower value than expected for low \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" configurations unnecessarily.\"), mdx(\"h3\", {\n \"id\": \"impact-5\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-5\",\n \"aria-label\": \"impact 5 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"Lower \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" value configurations for the Gaussian PDF will result in transaction reverts and lower evaluations than expected due to early normalization of the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" value's fractional nature.\"), mdx(\"h3\", {\n \"id\": \"example-6\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-6\",\n \"aria-label\": \"example 6 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={3,4} lineNumbers=true lineOffset=34\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{3,4}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"34\"\n }, \"// Calculate exponent: -(x^2)/(2*sigma^2)\\nuint256 xSquared = uint256(x * x);\\nuint256 sigmaPow2 = _sigma * _sigma; // 1e2 is the precision so for both sigam 1e4\\nuint256 exponent = (xSquared * PRECISION) / (2 * sigmaPow2 / 1e4);\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-6\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-6\",\n \"aria-label\": \"recommendation 6 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1e4\"), \" division from the denominator to be converted to a multiplicand for the numerator, maximizing the exponent's accuracy and greatly expanding the range of supported \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" configurations.\"), mdx(\"h3\", {\n \"id\": \"alleviation-6\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-6\",\n \"aria-label\": \"alleviation 6 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The adjustment we have recommended in the formula has been applied, greatly increasing the usable range of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"\\u03C3\"), \" configurations.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }), mdx(\"h2\", {\n \"id\": \"span-idgpn-08mgpn-08m-improper-rounding-of-nearest-tickspan\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h2\",\n \"href\": \"#span-idgpn-08mgpn-08m-improper-rounding-of-nearest-tickspan\",\n \"aria-label\": \"span idgpn 08mgpn 08m improper rounding of nearest tickspan permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), mdx(\"span\", {\n id: \"GPN-08M\"\n }, \"GPN-08M: Improper Rounding of Nearest Tick\")), mdx(\"table\", null, mdx(\"thead\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"thead\"\n }, mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Type\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Severity\"), mdx(\"th\", {\n parentName: \"tr\",\n \"align\": null\n }, \"Location\"))), mdx(\"tbody\", {\n parentName: \"table\"\n }, mdx(\"tr\", {\n parentName: \"tbody\"\n }, mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"/reports/steer-protocol-algebra-v4-hook-integration-688c6d5b07dd3b0018c7b26d/appendix/finding-types#mathematical-operations\"\n }, \"Mathematical Operations\")), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"img\", {\n parentName: \"td\",\n \"className\": \"o-severity o-major\",\n \"src\": \"https://omniscia.io/report-assets/major.png\"\n })), mdx(\"td\", {\n parentName: \"tr\",\n \"align\": null\n }, mdx(\"a\", {\n parentName: \"td\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L90\"\n }, \"GaussianPosition.sol:L90\"))))), mdx(\"h3\", {\n \"id\": \"description-7\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#description-7\",\n \"aria-label\": \"description 7 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Description:\"), mdx(\"p\", null, \"The \", mdx(\"a\", {\n parentName: \"p\",\n \"href\": \"https://github.com/SteerProtocol/core-v2/blob/1eef5f69971e4d1ffa77012516646a38aa38517c/src/GaussianPosition.sol#L68-L170\"\n }, mdx(\"inlineCode\", {\n parentName: \"a\"\n }, \"GaussianPosition::calculatePosition\")), \" function will improperly round negative ticks toward \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"0\"), \", resulting in liquidity deployment that can be entirely out-of-range.\"), mdx(\"h3\", {\n \"id\": \"impact-6\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#impact-6\",\n \"aria-label\": \"impact 6 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Impact:\"), mdx(\"p\", null, \"While the same exhibit is present and explained in the \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"FlatPosition3\"), \" contract, in this instance it is of higher severity as a \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"_numPositions\"), \" configuration of \", mdx(\"inlineCode\", {\n parentName: \"p\"\n }, \"1\"), \" would result in liquidity being deployed out-of-range incorrectly.\"), mdx(\"h3\", {\n \"id\": \"example-7\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#example-7\",\n \"aria-label\": \"example 7 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Example:\"), mdx(\"pre\", null, mdx(\"code\", {\n parentName: \"pre\",\n \"className\": \"language-sol\",\n \"metastring\": \"title=src/GaussianPosition.sol highlight={1} lineNumbers=true lineOffset=89\",\n \"title\": \"src/GaussianPosition.sol\",\n \"highlight\": \"{1}\",\n \"lineNumbers\": \"true\",\n \"lineOffset\": \"89\"\n }, \"int24 centerTick = (currentTick / tickSpacing) * tickSpacing;\\n\")), mdx(\"h3\", {\n \"id\": \"recommendation-7\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#recommendation-7\",\n \"aria-label\": \"recommendation 7 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Recommendation:\"), mdx(\"p\", null, \"We advise the nearest tick multiple to be calculated whilst rounding toward negative infinity, ensuring that the liquidity deployment performed is optimal.\"), mdx(\"h3\", {\n \"id\": \"alleviation-7\",\n \"style\": {\n \"position\": \"relative\"\n }\n }, mdx(\"a\", {\n parentName: \"h3\",\n \"href\": \"#alleviation-7\",\n \"aria-label\": \"alleviation 7 permalink\",\n \"className\": \"anchor before\"\n }, mdx(\"svg\", {\n parentName: \"a\",\n \"aria-hidden\": \"true\",\n \"focusable\": \"false\",\n \"height\": \"16\",\n \"version\": \"1.1\",\n \"viewBox\": \"0 0 16 16\",\n \"width\": \"16\"\n }, mdx(\"path\", {\n parentName: \"svg\",\n \"fillRule\": \"evenodd\",\n \"d\": \"M4 9h1v1H4c-1.5 0-3-1.69-3-3.5S2.55 3 4 3h4c1.45 0 3 1.69 3 3.5 0 1.41-.91 2.72-2 3.25V8.59c.58-.45 1-1.27 1-2.09C10 5.22 8.98 4 8 4H4c-.98 0-2 1.22-2 2.5S3 9 4 9zm9-3h-1v1h1c1 0 2 1.22 2 2.5S13.98 12 13 12H9c-.98 0-2-1.22-2-2.5 0-.83.42-1.64 1-2.09V6.25c-1.09.53-2 1.84-2 3.25C6 11.31 7.55 13 9 13h4c1.45 0 3-1.69 3-3.5S14.5 6 13 6z\"\n }))), \"Alleviation:\"), mdx(\"p\", null, \"The code was updated to properly round toward the desirable direction, and was additionally enhanced to support a fixed center tick for liquidity deployments.\"), mdx(\"p\", null, \"We consider the refactored version of the code to properly deploy liquidity in-range and thus this exhibit to be alleviated.\"), mdx(ViewDiffButton, {\n repoUrl: \"https://github.com/SteerProtocol/core-v2\",\n mainHash: \"1eef5f69971e4d1ffa77012516646a38aa38517c\",\n fixHash: \"4f6535a8a25ddd41794119143a2d73d01f4c6d34\",\n gitHubIssue: \"0\",\n mdxType: \"ViewDiffButton\"\n }));\n}\n;\nMDXContent.isMDXComponent = true;","headings":[{"depth":2,"value":"GPN-01M: Inconsistent Rounding of Constants"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-02M: Incorrect Denominator Precision"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-03M: Non-Standard Addition of Extra Tick Range in Even Positions"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-04M: Denominator Precision Loss of Sigma in Square Root Calculation"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-05M: Inexistent Assignment of Relative Weight"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-06M: Inexistent Boundaries of Ticks"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-07M: Loss of Denominator Precision in Exponent"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"},{"depth":2,"value":"GPN-08M: Improper Rounding of Nearest Tick"},{"depth":3,"value":"Description:"},{"depth":3,"value":"Impact:"},{"depth":3,"value":"Example:"},{"depth":3,"value":"Recommendation:"},{"depth":3,"value":"Alleviation:"}]}},"pageContext":{"slug":"/manual-review/GaussianPosition-GPN/","prev":{"label":"FlatPosition3.sol (FP3-M)","link":"/manual-review/FlatPosition3-FP3"},"next":{"label":"PluginHelper.sol (PHR-M)","link":"/manual-review/PluginHelper-PHR"}}},"staticQueryHashes":["1954253342","2328931024","2501019404","973074209"]}